Gérard Berry (auth.): шукати на сайті Z-Library

Пожертвування 15 вересня 2024 – 1 жовтня 2024 Про збір коштів

Вільний доступ до знань та культури

Пожертвування 15 вересня 2024 – 1 жовтня 2024

Z-Library - одна з найбільших онлайн-бібліотек у світі, в якій зберігається більше 17,000,000 книг та 84,837,000 статей. Ми намагаємось зробити літературу доступною кожному. Сьогодні (15 вересня 2024) ми відкриваємо додатковий збір пожертвувань на підтримку та розвиток проекту.

Також БЕЗЛІМТНІ завантаження (протягом 31 дня після завершення пожертвування) доступні для ВСІХ користувачів, які підтримають проект в період збору коштів до 1 жовтня 2024.

Про збір коштів Детальніше

Підтримати

Книги (11)
Найпопулярніші
Перелік
- Перелік
- Таблиця

1

Correct Hardware Design and Verification Methods: 10th IFIP WG10.5 Advanced Research Working Conference, CHARME’99 BadHerrenalb,Germany,September 27–29, 1999 Proceedings

Correct Hardware Design and Verification Methods: 10th IFIP WG10.5 Advanced Research Working Conference, CHARME’99 BadHerrenalb,Germany,September 27–29, 1999 Proceedings

Springer-Verlag Berlin Heidelberg

Gérard Berry (auth.), Laurence Pierre, Thomas Kropf (eds.)

Рік:

1999

Мова:

english

Файл:

PDF, 4.53 MB

0 / 0

english, 1999

2

Distributed Computing and Internet Technology: 10th International Conference, ICDCIT 2014, Bhubaneswar, India, February 6-9, 2014. Proceedings

Distributed Computing and Internet Technology: 10th International Conference, ICDCIT 2014, Bhubaneswar, India, February 6-9, 2014. Proceedings

Springer International Publishing

Gérard Berry, Manuel Serrano (auth.), Raja Natarajan (eds.)

Рік:

2014

Мова:

english

Файл:

PDF, 18.19 MB

0 / 0

english, 2014

3

Tools and Algorithms for the Construction and Analysis of Systems: Third International Workshop, TACAS'97 Enschede, The Netherlands, April 2–4, 1997 Proceedings

Tools and Algorithms for the Construction and Analysis of Systems: Third International Workshop, TACAS'97 Enschede, The Netherlands, April 2–4, 1997 Proceedings

Springer-Verlag Berlin Heidelberg

Gérard Berry (auth.), Ed Brinksma (eds.)

Рік:

1997

Мова:

english

Файл:

DJVU, 4.18 MB

0 / 0

english, 1997

4

Fundamental Approaches to Software Engineering: 8th International Conference, FASE 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings

Fundamental Approaches to Software Engineering: 8th International Conference, FASE 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings

Springer-Verlag Berlin Heidelberg

Gérard Berry (auth.), Maura Cerioli (eds.)

Рік:

2005

Мова:

english

Файл:

PDF, 5.26 MB

0 / 0

english, 2005

5

Correct Hardware Design and Verification Methods: 10th IFIP WG10.5 Advanced Research Working Conference, CHARME’99 BadHerrenalb,Germany,September 27–29, 1999 Proceedings

Correct Hardware Design and Verification Methods: 10th IFIP WG10.5 Advanced Research Working Conference, CHARME’99 BadHerrenalb,Germany,September 27–29, 1999 Proceedings

Springer-Verlag Berlin Heidelberg

Gérard Berry (auth.), Laurence Pierre, Thomas Kropf (eds.)

Рік:

1999

Мова:

english

Файл:

PDF, 4.67 MB

0 / 0

english, 1999

6

Metal-metal bonding

Metal-metal bonding

Springer-Verlag Berlin Heidelberg

J. F. Berry (auth.), Gerard Parkin (eds.)

Рік:

2010

Мова:

english

Файл:

PDF, 7.27 MB

0 / 0

english, 2010

7

Hardware Description Languages and their Applications: Specification, modelling, verification and synthesis of microelectronic systems IFIP TC10 WG10.5 International Conference on Computer Hardware Description Languages and their Applications, 20–25 April

Hardware Description Languages and their Applications: Specification, modelling, verification and synthesis of microelectronic systems IFIP TC10 WG10.5 International Conference on Computer Hardware Description Languages and their Applications, 20–25 April

Gerard Berry (auth.), Carlos Delgado Kloos, Eduard Cerny (eds.)

Рік:

1997

Мова:

english

Файл:

PDF, 12.07 MB

0 / 0

english, 1997

8

Computer Aided Verification: 13th International Conference, CAV 2001 Paris, France, July 18–22, 2001 Proceedings

Computer Aided Verification: 13th International Conference, CAV 2001 Paris, France, July 18–22, 2001 Proceedings

Springer-Verlag Berlin Heidelberg

David Lorge Parnas (auth.), Gérard Berry, Hubert Comon, Alain Finkel (eds.)

Рік:

2001

Мова:

english

Файл:

PDF, 4.16 MB

0 / 0

english, 2001

9

Fundamental Approaches to Software Engineering: 8th International Conference, FASE 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings

Fundamental Approaches to Software Engineering: 8th International Conference, FASE 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings

Springer-Verlag Berlin Heidelberg

Gérard Berry (auth.), Maura Cerioli (eds.)

Рік:

2005

Мова:

english

Файл:

PDF, 6.27 MB

0 / 0

english, 2005

10

Metal-Metal Bonding

Metal-Metal Bonding

Springer-Verlag Berlin Heidelberg

J. F. Berry (auth.), Gerard Parkin (eds.)

Рік:

2010

Мова:

english

Файл:

PDF, 9.60 MB

0 / 5.0

english, 2010

11

Computer Aided Verification: 13th International Conference, CAV 2001 Paris, France, July 18–22, 2001 Proceedings

Computer Aided Verification: 13th International Conference, CAV 2001 Paris, France, July 18–22, 2001 Proceedings

Springer-Verlag Berlin Heidelberg

David Lorge Parnas (auth.), Gérard Berry, Hubert Comon, Alain Finkel (eds.)

Рік:

2001

Мова:

english

Файл:

PDF, 6.93 MB

0 / 0

english, 2001